David Roland Doublet

Roland Backhouse : Relational Theory of Data Types 5 David Basin : Program Synthesis as Higher Order Resolution

Introduction 4 Roland Backhouse: Relational Theory of Data Types 5 David Basin: Program Synthesis as Higher Order Resolution 6 Bettina Buth: Verification Support for Compiler Development 7 Debora Weber-Wulff: Growing Programs from Proofs 8 Jacques Loeckx (with M. Wolf): Constructive versus axiomatic and initial specifications 9 Friederike Nickl: An Algebraic/Axiomatic Interpretation of Data Flo...

by ROLAND

Roland Bluhm

The aim of this paper is to discuss the potential benefit of corpus analysis, a (partly) empirical method from linguistics, for philosophy� ‘Corpus analysis’ is not only the name of the method, but also a rough description of it, because the method consists in analysing data taken from linguistic text corpora� In linguistics, using such text corpora is an established practice� A fair number of ...

Roland Grönroos PhD Thesis

Direct rooting and rooting via a wound tissue in Pinus sylvestris L. and Pinus contorta Dougl. ex Loud. hypocotyl cuttings in vitro were studied. Direct rooting usually occurred within three weeks after cutting. Three to four weeks after cutting, roots developed either directly on the hypocotyl or via a wound tissue. Later than one month after cutting, rooting took place predominantly via a wou...

Review of Roland Omnes,

If, in some cataclysm, all of scientific knowledge were to be destroyed, and only one sentence passed on to the next generations of creatures, what statement would contain the most information in the fewest words? I believe it is the atomic hypothesis (or the atomic fact, or whatever you wish to call it) that all things are made of atoms—little particles that move around in perpetual motion, at...